Mathematical structure

Results: 1236



#Item
181Mathematical notation / Hotspot / Analysis of algorithms / Asymptotic analysis / Big O notation

From mobile phone data to the spatial structure of cities Thomas Louail1,2 , Maxime Lenormand3 , Oliva Garc´ıa Cant´ u4 , Miguel Picornell4 , 4 5 Ricardo Herranz , Enrique Frias-Martinez , Jos´e J. Ramasco3 , Marc Ba

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2014-01-20 20:48:04
182Order theory / Real analysis / Differential calculus / Elementary mathematics / Continuous function / Dedekind cut / Fundamental theorem of calculus / Integral / Least-upper-bound property / Mathematical analysis / Mathematics / Functions and mappings

Interval Analysis Without Intervals Paul Taylor 20 February 2006 Abstract We argue that Dedekind completeness and the Heine–Borel property should be seen as part of the “algebraic” structure of the real line, along

Add to Reading List

Source URL: www.paultaylor.eu

Language: English - Date: 2009-02-12 13:25:28
183Theoretical computer science / Model theory / Automata theory / Regular language / Presburger arithmetic / Structure / Decision problem / Mathematics / Mathematical logic / Formal languages

On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively

Add to Reading List

Source URL: alpha.uhasselt.be

Language: English - Date: 2013-09-27 07:35:34
184Mathematics / Linear temporal logic / CTL* / Interpretation / Computation tree logic / Kripke structure / Well-formed formula / Quantification / Model theory / Logic / Mathematical logic / Temporal logic

A Temporal Logic for Hyperproperties Bernd Finkbeiner1 , Markus N. Rabe1 , and César Sánchez2,

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2014-06-27 10:56:07
185Chemistry / Quantum mechanics / Electronic band structure / Free electron model / Bloch wave / Hamiltonian / Periodic function / Physics / Condensed matter physics / Mathematical analysis

Pseudopotentials (Part I): Georg KRESSE ¨ Materialphysik and Center for Computational Materials Science Institut fur Universit¨at Wien, Sensengasse 8, A-1090 Wien, Austria

Add to Reading List

Source URL: cms.mpi.univie.ac.at

Language: English - Date: 2003-02-06 08:11:56
186Boolean algebra / Algebraic structures / Probability theory / Mathematical structures / Universal algebra / Sigma-algebra / Model theory / Structure / Independence / Mathematics / Mathematical logic / Abstract algebra

BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2005-06-12 16:51:01
187Mathematical finance / Bayesian statistics / Maximum likelihood / Expectation–maximization algorithm / Likelihood-ratio test / Stochastic volatility / Autoregressive conditional heteroskedasticity / Likelihood function / Statistics / Estimation theory / Statistical theory

Estimation of affine term structure models with spanned or unspanned stochastic volatility

Add to Reading List

Source URL: faculty.chicagobooth.edu

Language: English - Date: 2015-01-12 11:52:18
188Mathematical analysis / Spectral theory / Operator theory / Ordinary differential equations / Nature / Structure / Spectral theory of ordinary differential equations / Dynamical system / Systems / Systems theory

C:/Documents and Settings/josep.olm/Mis documentos/JOSEPM/RECERCA/PUBLICACIONS/REVISTES/2010/EN REVISIO/AUTOMAT10/Revision2/ors_aut10_rev_2.dvi

Add to Reading List

Source URL: www.ma.utexas.edu

Language: English - Date: 2014-08-14 13:41:25
189Partial differential equations / Computational fluid dynamics / Numerical analysis / Fluid mechanics / Navier–Stokes equations / Finite element method / Nonlinear system / Differential equation / Fluid-structure interaction / Calculus / Mathematical analysis / Mathematics

Math Matters Apply It. The math behind... Bio-mechanical Simulations

Add to Reading List

Source URL: www.siam.org

Language: English - Date: 2015-06-03 10:33:28
190Computational phylogenetics / Protein methods / Mathematical and theoretical biology / Structural alignment / Protein structure / Sequence alignment / STING / Needleman–Wunsch algorithm / Protein domain / Science / Bioinformatics / Biology

BMC Bioinformatics This Provisional PDF corresponds to the article as it appeared upon acceptance. Fully formatted PDF and full text (HTML) versions will be made available soon. SABERTOOTH: protein structural alignment b

Add to Reading List

Source URL: ub.cbm.uam.es

Language: English - Date: 2015-05-25 09:53:34
UPDATE